On the Verification and Validation of Software Modules: Applications in Teaching and Practice
نویسنده
چکیده
Modular programming is a discipline of bottom-up programming that is based on the principle of information hiding, whereby each module of a software product exports its specification but hides its design. This principle offers many advantages, including support for better maintainability, better testability, better reliability, and better reusability. Object Oriented programming languages support modularity, but they do not substitute for a sound discipline of modular programming. In this paper, we present a formal discipline of modular programming, report on our experience using it in undergraduate and graduate courses, and speculate on its potential for scaling up.
منابع مشابه
Verification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملErratum: Applications of epi-retractable and co-epi-retractable modules
In this errata, we reconsider and modify two propositions and their corollaries which were written on epi-retractable and co-epi-retractable modules.
متن کاملCompilation and validation of teaching strategies-learning in the monotheistic fundamentalistic curriculum
Introduction: One of the main elements of curriculum design with a monotheistic fundamentalist approach is teaching and learning strategies that play a key role in the implementation and effectiveness of the curriculum. Teaching methods should be tailored to the goals and content of the teaching and tailored to the needs of the learners. Therefore, the present study was aimed at explaining teac...
متن کاملDetermination of geometric accuracy of radiotherapy fields by port film and DRR using Matlab Graphical User Interface
Introduction: Radiation therapy is one of the methods of cancer treatment. In this method, it is necessary to avoid harming the healthy tissues of the patient which is in the vicinity of the target, as much as possible. Treatment verification is one of the most important steps of radiation therapy which has two usual methods, using Port film and EPID. The accuracy and precision of treatment in ...
متن کاملTablet Pc Applications in an Academic Environment
Tablet PCs are a new generation of notebook computers which provide multimodal input options of pen, voice and keyboard. Recently, these portable and flexible Tablet PCs have attracted attention as a potential tool in academic environments. This paper reviews the current use of Tablet PCs in teaching computer science and software engineering courses, presenting lectures and papers, and creating...
متن کامل